Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое de Bruijn notation - определение
ALTERNATIVE POSTFIX NOTATION FOR LAMBDA CALCULUS
De bruijn notation
Найдено результатов: 31822
De Bruijn notation
<language> A variation of lambda notation for specifying
functions using numbers instead of names to refer to {formal
parameters}. A reference to a formal parameter is a number
which gives the number of lambdas (written as here) between
the reference and the lambda which binds the parameter.
E.g. the function f . x . f x would be written . . 1
0. The 0 refers to the innermost lambda, the 1 to the next
etc. The chief advantage of this notation is that it avoids
the possibility of name capture and removes the need for {alpha
conversion}.
[N.G. De Bruijn, "Lambda Calculus Notation with Nameless
Dummies: A Tool for Automatic Formula Manipulation, with
Application to the Church-Rosser Theorem", Indag Math. 34, pp
381-392 ].
(2003-06-15)
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
Hans de Bruijn
DUTCH POLITICAL SCIENTIST AND PROFESSOR OF PUBLIC ADMINISTRATION AT DELFT UNIVERSITY OF TECHNOLOGY, KNOWN BY HIS WORK IN THE FIELD OF PROCESS MANAGEMENT
Johan Adam de Bruijn; De Bruijn, Hans; Bruijn, Johan Adam
Johan Adam (Hans) de Bruijn (born 1 September 1962) is a Dutch political scientist and Professor of Public Administration at Delft University of Technology, known by his work in the field of process management.Peter Hupe (2007).
Jaap R. Bruijn
MARITIME HISTORIAN
J.R. Bruijn; Jaap Bruijn
Jacobus Ruurd "Jaap" Bruijn (born 1938 in The Hague), is one of the best known and respected Dutch maritime historians. He was professor of maritime history at the University of Leiden from 1979 until his retirement in 2003.
De Bruijn–Newman constant
MATHEMATICAL CONSTANT
De Bruijn constant; Copson-de Bruijn constant; De bruijn-newman constant; De Bruijn-Newman constant
The de Bruijn–Newman constant, denoted by Λ and named after Nicolaas Govert de Bruijn and Charles M. Newman, is a mathematical constant defined via the zeros of a certain function H(λ, z), where λ is a real parameter and z is a complex variable.
Moser–de Bruijn sequence
NUMBER, SUM OF DISTINCT POWERS OF 4
Moser-de Bruijn sequence; Moser-De Bruijn sequence; Moser–De Bruijn sequence
In number theory, the Moser–de Bruijn sequence is an integer sequence named after Leo Moser and Nicolaas Govert de Bruijn, consisting of the sums of distinct powers of 4, or equivalently the numbers whose binary representations are nonzero only in even positions.
Polish notation
MATHEMATICAL NOTATION IN WHICH EVERY OPERATOR PRECEDES ALL OF ITS OPERANDS
Polish Notation; Lukasiewicz notation; Łukasiewicz notation; Prefix notation; PN (notation); Notacja polska; Normal Polish notation; NPN (notation); Warsaw notation; Prefix operator; Prefix expression; Prefixed notation; Polish prefix notation; Polish string; Polish notation string; Polish string notation
¦ noun Logic & Computing a system of formula notation without brackets or special punctuation, used to represent arithmetical operations.
Polish notation
MATHEMATICAL NOTATION IN WHICH EVERY OPERATOR PRECEDES ALL OF ITS OPERANDS
Polish Notation; Lukasiewicz notation; Łukasiewicz notation; Prefix notation; PN (notation); Notacja polska; Normal Polish notation; NPN (notation); Warsaw notation; Prefix operator; Prefix expression; Prefixed notation; Polish prefix notation; Polish string; Polish notation string; Polish string notation
Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation or simply prefix notation, is a mathematical notation in which operators precede their operands, in contrast to the more common infix notation, in which operators are placed between operands, as well as reverse Polish notation (RPN), in which operators follow their operands. It does not need any parentheses as long as each operator has a fixed number of operands.
Algebraic notation (chess)
![Chess diagram from [[Jacob Köbel]]'s German book about Mediaeval chess, ''Schachzabel Spiel'' (1520)](https://commons.wikimedia.org/wiki/Special:FilePath/Jacob Köbel 1520.png?width=200 "Chess diagram from [[Jacob Köbel]]'s German book about Mediaeval chess, ''Schachzabel Spiel'' (1520)")
![Chess diagram showing algebraic notation in Howard Staunton's ''The Chess-Player's Handbook'' (1866)](https://commons.wikimedia.org/wiki/Special:FilePath/Chess diagram from Howard Staunton's "The Chess-Player's Handbook" (1947).png?width=200 "Chess diagram showing algebraic notation in Howard Staunton's ''The Chess-Player's Handbook'' (1866)")
METHOD FOR RECORDING AND DESCRIBING THE MOVES IN A GAME OF CHESS
International notational; Algebraic Chess Notation; Figurine Algebraic Notation; Standard chess notation; Chess algebraic notation; Algebraic chess notation; Standard algebraic notation; AN (chess); ChessAN; Standard Algebraic Notation; Long algebraic notation; Figurine algebraic notation; Short algebraic notation; Standard notation (chess)
Algebraic notation (or AN) is the standard method for recording and describing the moves in a game of chess. It is based on a system of coordinates to uniquely identify each square on the chessboard.
prefix notation
MATHEMATICAL NOTATION IN WHICH EVERY OPERATOR PRECEDES ALL OF ITS OPERANDS
Polish Notation; Lukasiewicz notation; Łukasiewicz notation; Prefix notation; PN (notation); Notacja polska; Normal Polish notation; NPN (notation); Warsaw notation; Prefix operator; Prefix expression; Prefixed notation; Polish prefix notation; Polish string; Polish notation string; Polish string notation
<language> (Or "prefix syntax") One of the possible orderings
of functions and operands: in prefix notation the function
precedes all its operands. For example, what may normally be
written as "1+2" becomes "(+ 1 2)". A few languages (e.g.,
lisp) have strictly prefix syntax, many more employ prefix
notation in combination with infix notation.
Compare: postfix notation.
(2001-02-14)
Википедия
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
